例文
- They cite in their paper Lanfords computer assisted proof.
- Lyubich published in 1999 the first not computer assisted proof which also establishes hyperbolicity.
- The "'CAPD library "'( "'Computer Assisted Proofs in Dynamics "') is a software chaotic dynamics, bifurcations, heteroclinic / homoclinic solutions and periodic orbits.